symbolic calculus

符号演算